Search results

stepping reverse function application crashes stepper

bug

criticalcritical bugcritical bug

Status: Open.

#1664 In hazelgrove/hazel;

· cyrus- opened on May 27, 2025

Unhandled "InHole(Redundant(impossible_err))" failure when a redundant case expression pattern is placed into a hole

bug

Status: Open.

#1663 In hazelgrove/hazel;

· aasmart opened on May 23, 2025

Checkbox state not resetting between slides

bug

Status: Open.

Bug

#1661 In hazelgrove/hazel;

· 7h3kk1d opened on May 23, 2025

Polymorphism buffer is broken

bug

Status: Open.

Bug

#1653 In hazelgrove/hazel;

· 7h3kk1d opened on May 15, 2025

Deleting + creating the only character of the very first type in a variant type triggers unhandled exception.

bug

Status: Open.

#1652 In hazelgrove/hazel;

· aasmart opened on May 14, 2025

Deferral applied to hole incorrectly marked

bug

Status: Open.

#1651 In hazelgrove/hazel;

· 7h3kk1d opened on May 14, 2025

textarea Input Does Not Support Grammarly

bug

Status: Open.

#1642 In hazelgrove/hazel;

· russell-rozenbaum opened on May 1, 2025

Broken: Pattern matching on dynamic type

Status: Open.

#1640 In hazelgrove/hazel;

· MaxCarroll0 opened on May 1, 2025

Stream evaluation runs into cast issues

Status: Open.

#1637 In hazelgrove/hazel;

· Negabinary opened on Apr 29, 2025

Stepper classifies Indet terms as Values

Status: Open.

#1632 In hazelgrove/hazel;

· MaxCarroll0 opened on Apr 24, 2025

Fixed points cause non-termination in the stepper

Status: Open.

#1629 In hazelgrove/hazel;

· MaxCarroll0 opened on Apr 23, 2025

Type T = T possibly creating recursive type

Status: Open.

#1628 In hazelgrove/hazel;

· Negabinary opened on Apr 23, 2025